We are using cookies This website uses cookies in order to offer you the most relevant information. By browsing this website, you accept these cookies.
In logic, mathematics and computer science, especially metalogic and computability theory, an effective method or effective procedure is a procedure for solving a problem from a specific class.